An Appreciation of the Work of Reinhard Wilhelm
Identifieur interne : 000868 ( Main/Exploration ); précédent : 000867; suivant : 000869An Appreciation of the Work of Reinhard Wilhelm
Auteurs : Thomas Reps [États-Unis] ; Mooly Sagiv [Israël] ; Jörg Bauer [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
English descriptors
- Teeft :
- Abstract interpretation, Algorithm, Algorithm animation, Algorithm explanation, Automaton, Bauer, Cache, Cache behavior, Cache behavior prediction, Code generation, Code selection, Compiler, Compiler construction, Compiler design, Compiler generators, Computer science, Dagstuhl, Dagstuhl seminars, Derivation trees, Evolution logic, Execution time, Fachtagung uber programmiersprachen, Ferdinand, Functional languages, Graduate curriculum, Grammar, Grammar flow analysis, Graph reduction, Heckmann, Ieee trans, Informatik, International conference, Jahrestagung, Maurer, Ncke, Parametric shape analysis, Possible states, Program analysis, Program transformation, Program transformations, Programmiersprachen, Programming languages, Reinhard, Reinhard wilhelm, Research center, Saarland university, Sagiv, Shape analysis, Software, Static analysis, Static program analysis, Storage cells, Table compression, Temporal heap properties, Thesing, Timing analysis, Timing predictability, Trans, Tree automata, Wcet, Wilhelm.
Abstract
Abstract: Wilhelm’s career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions in the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception as the Scientific Director of the International Conference and Research Center for Computer Science at Schloß Dagstuhl.
Url:
DOI: 10.1007/978-3-540-71322-7_1
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001204
- to stream Istex, to step Curation: 001118
- to stream Istex, to step Checkpoint: 000682
- to stream Main, to step Merge: 000868
- to stream Main, to step Curation: 000868
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">An Appreciation of the Work of Reinhard Wilhelm</title>
<author><name sortKey="Reps, Thomas" sort="Reps, Thomas" uniqKey="Reps T" first="Thomas" last="Reps">Thomas Reps</name>
</author>
<author><name sortKey="Sagiv, Mooly" sort="Sagiv, Mooly" uniqKey="Sagiv M" first="Mooly" last="Sagiv">Mooly Sagiv</name>
</author>
<author><name sortKey="Bauer, Jorg" sort="Bauer, Jorg" uniqKey="Bauer J" first="Jörg" last="Bauer">Jörg Bauer</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:AC510AEF7127BE00E8028CF8D6A4A5CBE73FE92D</idno>
<date when="2007" year="2007">2007</date>
<idno type="doi">10.1007/978-3-540-71322-7_1</idno>
<idno type="url">https://api.istex.fr/document/AC510AEF7127BE00E8028CF8D6A4A5CBE73FE92D/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001204</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001204</idno>
<idno type="wicri:Area/Istex/Curation">001118</idno>
<idno type="wicri:Area/Istex/Checkpoint">000682</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000682</idno>
<idno type="wicri:doubleKey">0302-9743:2007:Reps T:an:appreciation:of</idno>
<idno type="wicri:Area/Main/Merge">000868</idno>
<idno type="wicri:Area/Main/Curation">000868</idno>
<idno type="wicri:Area/Main/Exploration">000868</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">An Appreciation of the Work of Reinhard Wilhelm</title>
<author><name sortKey="Reps, Thomas" sort="Reps, Thomas" uniqKey="Reps T" first="Thomas" last="Reps">Thomas Reps</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<placeName><region type="state">Wisconsin</region>
</placeName>
<wicri:cityArea>Comp. Sci. Dept.</wicri:cityArea>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Sagiv, Mooly" sort="Sagiv, Mooly" uniqKey="Sagiv M" first="Mooly" last="Sagiv">Mooly Sagiv</name>
<affiliation></affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Israël</country>
</affiliation>
</author>
<author><name sortKey="Bauer, Jorg" sort="Bauer, Jorg" uniqKey="Bauer J" first="Jörg" last="Bauer">Jörg Bauer</name>
<affiliation></affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2007</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Abstract interpretation</term>
<term>Algorithm</term>
<term>Algorithm animation</term>
<term>Algorithm explanation</term>
<term>Automaton</term>
<term>Bauer</term>
<term>Cache</term>
<term>Cache behavior</term>
<term>Cache behavior prediction</term>
<term>Code generation</term>
<term>Code selection</term>
<term>Compiler</term>
<term>Compiler construction</term>
<term>Compiler design</term>
<term>Compiler generators</term>
<term>Computer science</term>
<term>Dagstuhl</term>
<term>Dagstuhl seminars</term>
<term>Derivation trees</term>
<term>Evolution logic</term>
<term>Execution time</term>
<term>Fachtagung uber programmiersprachen</term>
<term>Ferdinand</term>
<term>Functional languages</term>
<term>Graduate curriculum</term>
<term>Grammar</term>
<term>Grammar flow analysis</term>
<term>Graph reduction</term>
<term>Heckmann</term>
<term>Ieee trans</term>
<term>Informatik</term>
<term>International conference</term>
<term>Jahrestagung</term>
<term>Maurer</term>
<term>Ncke</term>
<term>Parametric shape analysis</term>
<term>Possible states</term>
<term>Program analysis</term>
<term>Program transformation</term>
<term>Program transformations</term>
<term>Programmiersprachen</term>
<term>Programming languages</term>
<term>Reinhard</term>
<term>Reinhard wilhelm</term>
<term>Research center</term>
<term>Saarland university</term>
<term>Sagiv</term>
<term>Shape analysis</term>
<term>Software</term>
<term>Static analysis</term>
<term>Static program analysis</term>
<term>Storage cells</term>
<term>Table compression</term>
<term>Temporal heap properties</term>
<term>Thesing</term>
<term>Timing analysis</term>
<term>Timing predictability</term>
<term>Trans</term>
<term>Tree automata</term>
<term>Wcet</term>
<term>Wilhelm</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Wilhelm’s career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions in the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception as the Scientific Director of the International Conference and Research Center for Computer Science at Schloß Dagstuhl.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
<li>Israël</li>
<li>États-Unis</li>
</country>
<region><li>Wisconsin</li>
</region>
</list>
<tree><country name="États-Unis"><region name="Wisconsin"><name sortKey="Reps, Thomas" sort="Reps, Thomas" uniqKey="Reps T" first="Thomas" last="Reps">Thomas Reps</name>
</region>
<name sortKey="Reps, Thomas" sort="Reps, Thomas" uniqKey="Reps T" first="Thomas" last="Reps">Thomas Reps</name>
</country>
<country name="Israël"><noRegion><name sortKey="Sagiv, Mooly" sort="Sagiv, Mooly" uniqKey="Sagiv M" first="Mooly" last="Sagiv">Mooly Sagiv</name>
</noRegion>
</country>
<country name="Allemagne"><noRegion><name sortKey="Bauer, Jorg" sort="Bauer, Jorg" uniqKey="Bauer J" first="Jörg" last="Bauer">Jörg Bauer</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Sarre/explor/MusicSarreV3/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000868 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000868 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Sarre |area= MusicSarreV3 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:AC510AEF7127BE00E8028CF8D6A4A5CBE73FE92D |texte= An Appreciation of the Work of Reinhard Wilhelm }}
This area was generated with Dilib version V0.6.33. |